Rational Unification in 28 Characters
نویسندگان
چکیده
We present a case study where Synchronising Graphs, a system of parallel graph transformation, are used to solve the syntactic unification problem for first order rational terms (with possibly infinite unifier). The solution we offer is efficient, that is quasi-linear, and simple: a program of 28 characters.
منابع مشابه
Nearly Rational Frobenius Groups
In this paper, we study the structure of nite Frobenius groups whose non-rational or non-real irreducible characters are linear.
متن کاملمبانی منطقی طراحی سیستم خط‌مشی‌گذاری دولتی برای تحقق عدالت حق‌مدار (براساس نهج‌البلاغه)
This article demonstrates a part of findings of a research that has been designed with the intention of determining the characteristics of the desired public policy making system for achieving social justice. To begin with, James P. Sterba's categorization of alternative political perspectives to justice is reviewed and then "truth – oriented" justice is studied. To reach a precise and scholar...
متن کاملOn rational groups with Sylow 2-subgroups of nilpotency class at most 2
A finite group $G$ is called rational if all its irreducible complex characters are rational valued. In this paper we discuss about rational groups with Sylow 2-subgroups of nilpotency class at most 2 by imposing the solvability and nonsolvability assumption on $G$ and also via nilpotency and nonnilpotency assumption of $G$.
متن کاملThe Dunkl Weight Function for Representations of Rational Cherednik Algebras
1. Signature Characters and the Jantzen Filtration 1 1.1. Jantzen Filtrations on Standard Modules 1 1.2. Hermitian Duals 3 1.3. Rationality of Signature Characters 5 1.4. Asymptotic Signatures 7 1.5. Isotypic Signature Characters 8 2. The Dunkl Weight Function 10 2.1. The Gaussian Inner Product 10 2.2. Weight Function 10 2.3. Analytic Continuation on the Regular Locus 20 2.4. Extension to Distr...
متن کاملThe Effects of Exchange Rate Unification on the Iranian Economy
The exchange rate unification is one of the most important instruments of economic adjustment, which is used in many countries. This paper shows the effects of the exchange rate unification on price level (inflation), gross domestic production (GDP), non-oil exports, private conception, government expenditure and stock of money. The data, is used related to the period 1959-2000. To analyze the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 127 شماره
صفحات -
تاریخ انتشار 2005